#include <kernel.h>
#include <stdarg.h>

__weak void assert_failed(char *file_name, int line)
{
	while(1);
}

__weak void hard_fault_handler(void)
{
	while(1);
}

void printk(const char *buffer, ...)
{
}

void print_log(int level, const char *buffer, ...)
{
	va_list arg_list;

	va_start(arg_list, buffer);
	printk(buffer, arg_list);
	va_end(arg_list);
}
